Nuprl Definition : w-vartype
0,22
postcript
pdf
vartype(
i
;
x
) ==
w
.T(
i
,
x
)
latex
clarification:
w-vartype(
w
;
i
;
x
) ==
w
.T(
i
,
x
)
latex
Definitions
w
.T
,
vartype(
i
;
x
)
FDL editor aliases
w-vartype
origin